An MDA Framework Supporting OCL

نویسندگان

  • Achim D. Brucker
  • Jürgen Doser
  • Burkhart Wolff
چکیده

We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial software development, e.g., code generation. Overall, our toolchain provides support for software modeling using uml/ocl and guides the user from type-checking and model transformations to code generation and formal analysis of the uml/ocl model. We conclude with a report on our experiences in using a functional language for implementing mda tools.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integrating Natural Language Oriented Requirements Models into MDA

MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. Though a complete automatic construction of the CIM is not possible, we think we could use some requirements models and strategies adapting them to be used in the MDA framework. We present an OCL based transformation t...

متن کامل

Foundations for MDA-based Forward Engineering

Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information integration and tools interoperation; many UML tools claim to be compliant with it. Model-to-model transformations are essential in MDA. This article describes foundations for UML-based transformation tools. We introduce the NEREUS language to cope with concepts of UML met...

متن کامل

Normative Interaction Specifications for C2: A Comprehensive Type of Rule Models for Use in the Model Driven Architecture Framework

Modeling languages such as UML and IDEF1-X provide only partial coverage for the relations and constraints that apply to information within a given domain of interest. In most cases additional textual narratives are required to capture the full set of pertinent business rules. The "Semantics of Business Vocabulary and Business Rules Specification" (SBVR), an OMG adopted specification, offers an...

متن کامل

How My Favorite Tool Supporting OCL Must Look Like

At this time, to decide on which tool supporting OCL to use, is a difficult task. This is influenced by a number of objective factors, including: the user’s needs, knowledge of existing tools, knowledge of the Object Constraint Language and of the various possibilities of using it. Today, each tool maker states about implementing new features compared with the existent tools; moreover, differen...

متن کامل

XMI2USE: A Tool for Transforming XMI to USE Specifications

The UML-based Specification Environment (USE) tool supports syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation and analysis power, it is useful when checking critical non-functional properties such as security policies. However, the USE tool requires one to...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • ECEASST

دوره 5  شماره 

صفحات  -

تاریخ انتشار 2006